if(entry != null && conn_expiry_timeout > 0)
entry.update();
if(added && total_len > 0 && entry.incrementStable(total_len))
sendStableMessage(sender, entry.recv_conn_id, win.getHighestDelivered(), win.getHighestReceived());
}
ReceiverEntry tmp=recv_table.get(sender);
if(entry != null && conn_expiry_timeout > 0)
entry.update();
if(added && total_len > 0 && entry.incrementStable(total_len) && win != null) {
long[] digest=win.getDigest();
sendStableMessage(sender, entry.recv_conn_id, digest[0], digest[1]);
}
}